many-valued logic

[ˈmeni ˈvælju:d ˈlɔdʒik]
多值逻辑